home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / dtm / test34.gl < prev    next >
Text File  |  1991-06-18  |  368b  |  19 lines
  1. Basetype E;
  2.  
  3. Atom
  4.    tglatch :- E & E & E => E,
  5.    not :- E => E;
  6.  
  7. Def
  8.    CMos_dynlatch :- E & E & E => E;
  9.    CMos_dynlatch [s, sbar, d] = not (tglatch [s, sbar, d]);
  10.  
  11. Def
  12.    CMos_div2 :- E & E & E & E => E;
  13.    CMos_div2 [phi1, phi1', phi2, phi2'] = o
  14.       where
  15.      o = not z;
  16.      z = CMos_dynlatch [phi2, phi2', y];
  17.      y = CMos_dynlatch [phi1, phi1', o];
  18.       endwhere
  19.